A note on some collapse results of valued constraints

نویسندگان

  • Bruno Zanuttini
  • Stanislav Zivny
چکیده

Valued constraint satisfaction problem (VCSP) is an optimisation framework originally coming from Artificial Intelligence and generalising the classical constraint satisfaction problem (CSP). The VCSP is powerful enough to describe many important classes of problems. In order to investigate the complexity and expressive power of valued constraints, a number of algebraic tools have been developed in the literature. In this note we present alternative proofs of some known results without using the algebraic approach, but by representing valued constraints explicitly by combinations of other valued constraints.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Numerical Study of Progressive Collapse in Framed Structures: A New Approach for Dynamic Column Removal (TECHNICAL NOTE)

Progressive collapse is a situation where local failure of a primary structural component leads to the collapse of adjoining members which, in turn, leads to additional collapse. Hence, the total damage is disproportionate to the original cause. The most common local failure in framed structure is assumed to be column failure. In this paper, a new approach for dynamic column removal in framed s...

متن کامل

FUZZY HYPERVECTOR SPACES OVER VALUED FIELDS

In this note we first redefine the notion of a fuzzy hypervectorspace (see [1]) and then introduce some further concepts of fuzzy hypervectorspaces, such as fuzzy convex and balance fuzzy subsets in fuzzy hypervectorspaces over valued fields. Finally, we briefly discuss on the convex (balanced)hull of a given fuzzy set of a hypervector space.

متن کامل

Some approximate fixed point results for proximinal valued $beta$-contractive multifunctions

In this paper, we prove some approximate fixed point results for proximinal valued $beta$-contractive multifunctions on metric spaces. We show that our results generalize some old fixed point results in the literature.

متن کامل

Common Fixed Point Results on Complex-Valued $S$-Metric Spaces

Banach's contraction principle has been improved and extensively studied on several generalized metric spaces. Recently, complex-valued $S$-metric spaces have been introduced and studied for this purpose. In this paper, we investigate some generalized fixed point results on a complete complex valued $S$-metric space. To do this, we prove some common fixed point (resp. fixed point) theorems usin...

متن کامل

TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS

In this paper, at first we define the concepts of response function and accessible states of a complete residuated lattice-valued (for simplicity we write $mathcal{L}$-valued) tree automaton with a threshold $c.$ Then, related to these concepts, we prove some lemmas and theorems that are applied in considering some decision problems such as finiteness-value and emptiness-value of recognizable t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Inf. Process. Lett.

دوره 109  شماره 

صفحات  -

تاریخ انتشار 2009